Nuprl Definition : isatom2 11,40
isatom2(z;a;b) is Primitive 
latex

FDL editor aliasesisatom2

origin